fpf{-}normalize(${\it eq}$;$g$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$x$,$f$. fpf{-}join(${\it eq}$;$x$ : 2of($g$)($x$);$f$);;1of($g$))